$\forall$${\it the\_es}$:event\_system\{i:l\}, $l$:IdLnk. es{-}Msgl(${\it the\_es}$; $l$) $\in$ Type